Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
451	University of Surrey On Modelling and Verifying Railway Interlockings: Tracking Train Lengths Department of Computing Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2013-05-25 17:08:22 Software engineering Process calculi Railway signalling Communicating sequential processes Models of computation Interlocking Formal methods Process calculus Model checking Computing Concurrent computing Computer science
452	The Profession of IT Peter J. Denning Computing is a Natural Science Information processes and computation continue to be found abundantly in the Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2007-07-03 13:40:59 Mathematics Peter J. Denning Computation Actor model Computing Human-based computation Interactive computation Computer scientist A New Kind of Science Theoretical computer science Applied mathematics Computer science
453	TEMPO RELEASE NOTES v0.2.3 (BETA[removed]Recent Fixes (v0.2.3) Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:15:16 Cellular automata Automata theory Model checking Models of computation
454	TEMPO RELEASE NOTES v0.2.2 (BETA[removed]Recent Fixes (v0.2.2) Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:12:11 Programming language theory Models of computation Model checking Function ALGOL 68 Automata theory Mathematics Software engineering
455	The Tempo Language User Guide and Reference Manual Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Tec Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-10-24 14:32:42 Applied mathematics Models of computation Computer science Model checking Finite-state machine Formal language Algorithm Theoretical computer science Automata theory Mathematics
456	TEMPO RELEASE NOTES v0.2.3 (BETA[removed]Recent Fixes (v0.2.3) Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 13:54:23 Cellular automata Automata theory Model checking Models of computation
457	TEMPO RELEASE NOTES v0.2.3 (BETA[removed]Recent Fixes (v0.2.3) Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:13:38 Cellular automata Automata theory Model checking Models of computation
458	sss08participation.qxd:SSSParticipation Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 18:43:12 Semantic Web Ontology Human-based computation Social information processing Association for the Advancement of Artificial Intelligence AI winter Ambient intelligence Actor model Academic conference Artificial intelligence Science Knowledge
459	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:35 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
460	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:49 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency

UPDATE